989d10b8361830f50123d4bc986bc26eb008daea,src/wyil/util/TypeSystem.java,TypeSystem,expandAsReference,#Type#,124
In pattern: SUPERPATTERN
Frequency: 3
Non-data size: 5
Instances
1472366343
david.pearce@ecs.vuw.ac.nz
Whiley/WhileyCompiler,989d10b8361830f50123d4bc986bc26eb008daea,src/wyil/util/TypeSystem.java,TypeSystem,expandAsReference,#Type#,124
1472366343
david.pearce@ecs.vuw.ac.nz
Whiley/WhileyCompiler,989d10b8361830f50123d4bc986bc26eb008daea,src/wyil/util/TypeSystem.java,TypeSystem,expandAsEffectiveArray,#Type#,116
1472366343
david.pearce@ecs.vuw.ac.nz
Whiley/WhileyCompiler,989d10b8361830f50123d4bc986bc26eb008daea,src/wyil/util/TypeSystem.java,TypeSystem,expandAsEffectiveRecord,#Type#,108